1

Solving the $100 modal logic challenge

Année:
2009
Langue:
english
Fichier:
PDF, 296 KB
english, 2009
16

Representing Model Theory in a Type-Theoretical Logical Framework

Année:
2009
Langue:
english
Fichier:
PDF, 346 KB
english, 2009
18

Representing model theory in a type-theoretical logical framework

Année:
2011
Langue:
english
Fichier:
PDF, 407 KB
english, 2011
21

Semantics ofOpenMathandMathML3

Année:
2012
Langue:
english
Fichier:
PDF, 421 KB
english, 2012
22

A scalable module system

Année:
2013
Langue:
english
Fichier:
PDF, 1.21 MB
english, 2013
23

SWALLOWED HALFPENNIES.

Année:
1895
Langue:
english
Fichier:
PDF, 179 KB
english, 1895
29

Formalising foundations of mathematics

Année:
2011
Langue:
english
Fichier:
PDF, 2.08 MB
english, 2011
30

A logical framework combining model and proof theory

Année:
2013
Langue:
english
Fichier:
PDF, 535 KB
english, 2013
34

Logical relations for a logical framework

Année:
2013
Langue:
english
Fichier:
PDF, 1.87 MB
english, 2013
39

Lax Theory Morphisms

Année:
2015
Langue:
english
Fichier:
PDF, 643 KB
english, 2015
40

The Future of Logic: Foundation-Independence

Année:
2016
Langue:
english
Fichier:
PDF, 1.10 MB
english, 2016